Proving Logical Equivalence Involving The Biconditional